mechanization of mathematics
数学机械化
热门查询
- ribozyme n. 酶性核酸；核糖酶
- brioche n. 奶油蛋卷；奶油糕点
- clapper n. 拍手者；铃舌；响板；唠唠叨叨的嘴巴 n. (Clapper)人名；(英)克拉珀
- Austell [人名] 奥斯特尔; [地名] [美国] 奥斯特尔
- receipt n. 收到；收据；收入 vt. 收到
- strake n. 铁箍；轮铁；船底板；狭长草地 n. (Strake)人名；(德)施特拉克；(英)斯特雷克
- encouragingly adv. 鼓励地；勉励人地
- adventurous adj. 爱冒险的；大胆的；充满危险的
- telecommuting n. 远程办公；远程交换
- unquiet adj. 不平静的；不安宁的；焦急的
- trustworthy adj. 可靠的；可信赖的
- aroma n. 芳香 n. (Aroma)人名；(瑞典、土)阿罗马
- Hachette n. (Hachette)人名；(法)阿谢特
- autistic n. 孤独症患者（常指儿童） adj. [心理][内科] 孤独症的；孤僻的
- pharmacokinetic adj. 药代动力学的；药物代谢动力学的（pharmacokinetics的形容词形式）
- goby n. 虾虎鱼；刺鳍鱼 n. (Goby)人名；(法、捷)戈比
- unofficially adv. 非正式地；非公认地
- Rupert n. 鲁珀特（男子名）
- Molloy [人名] [爱尔兰姓氏] 莫洛伊盖尔语姓氏的英语形式，来源于人名，含义是“首领+骄傲的”(chieftain+proud); [人名] [爱尔兰姓氏] 莫洛伊盖尔语姓氏的英语形式，来源于人名，含义是“火”(fire); [人名] [爱尔兰姓氏] 莫洛伊盖尔语姓氏的英语形式，来源于人名，含义是“幸运的”(fortunate)
- jeremy n. 杰里米（男子名）
